A Point Counting Algorithm for Cyclic Covers of the Projective Line
نویسنده
چکیده
We present a Kedlaya-style point counting algorithm for cyclic covers y = f(x) over a finite field Fpn with p not dividing r, and r and deg f not necessarily coprime. This algorithm generalizes the Gaudry–Gürel algorithm for superelliptic curves to a more general class of curves, and has essentially the same complexity. Our practical improvements include a simplified algorithm exploiting the automorphism of C, refined bounds on the p-adic precision, and an alternative pseudo-basis for the Monsky–Washnitzer cohomology which leads to an integral matrix when p ≥ 2r. Each of these improvements can also be applied to the original Gaudry–Gürel algorithm. We include some experimental results, applying our algorithm to compute Weil polynomials of some large genus cyclic covers.
منابع مشابه
Field of moduli versus field of definition for cyclic covers of the projective line
We give a criterion, based on the automorphism group, for certain cyclic covers of the projective line to be defined over their field of moduli. An example of a cyclic cover of the complex projective line with field of moduli R that can not be defined over R is also given.
متن کاملJ ul 2 00 3 Automorphisms groups for p - cyclic covers of the affine line
Let k be an algebraically closed field of positive characteristic p > 0 and C → Pk a p-cyclic cover of the projective line ramified in exactly one point. We are interested in the p-part of the full automorphism group AutkC. First we prove that these groups are exactly the extraspecial p-groups and groups G which are subgroups of an extraspecial group E such that Z(E) ⊆ G. The paper also describ...
متن کاملQuasi-projective covers of right $S$-acts
In this paper $S$ is a monoid with a left zero and $A_S$ (or $A$) is a unitary right $S$-act. It is shown that a monoid $S$ is right perfect (semiperfect) if and only if every (finitely generated) strongly flat right $S$-act is quasi-projective. Also it is shown that if every right $S$-act has a unique zero element, then the existence of a quasi-projective cover for each right act implies that ...
متن کاملThe existence totally reflexive covers
Let $R$ be a commutative Noetherian ring. We prove that over a local ring $R$ every finitely generated $R$-module $M$ of finite Gorenstein projective dimension has a Gorenstein projective cover$varphi:C rightarrow M$ such that $C$ is finitely generated and the projective dimension of $Kervarphi$ is finite and $varphi$ is surjective.
متن کاملMaximum sum element orders of all proper subgroups of PGL(2, q)
In this paper we show that if q is a power of a prime p , then the projective special linear group PSL(2, q) and the stabilizer of a point of the projective line have maximum sum element orders among all proper subgroups of projective general linear group PGL(2, q) for q odd and even respectively
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1408.2095 شماره
صفحات -
تاریخ انتشار 2014